Modèle de coopération entre calcul formel et calcul numérique pour la simulation et l'optimisation des systèmes

Après avoir étudié les collaborations établies aujourd'hui entre différents environnements de résolution de problèmes, le manuscrit propose un modèle de conception d'un système de calcul basé sur la coopération entre calcul formel et numérique. Cette coopération entre différents sous-systèmes de calcul est de type complémentaire : les rôles sont définis a priori. Suivant une démarche orientée modèle, le modèle de coopération est spécifié en UML 2.0 selon la vue structurelle et la vue comportementale. A partir du modèle conceptuel, nous définissons les règles de transformation pour produire le modèle d'implémentation spécifique de la "plate-forme" FORTRAN 90. Au vu des résultats d'études particulières en génie des procédés - la solvatation d'acides forts, et la distillation de Rayleigh- il apparaît que la démarche de calcul coopératif proposée : apporte plus d'expressivité lors de la modélisation; incite à modéliser les systèmes physiques à l'aide de fonctions, souvent implicites; permet la réutilisation de modèles par la composition et l'assemblage de fonctions; et apporte plus de fiabilité lors de la simulation, notamment grâce au calcul précis des dérivées des modèles. ABSTRACT : After investigating state-of-the-art collaborations between various environments aimed at system resolution, this paper presents a design model for a calculation system based on the co-operation of formal and numerical calculations. This co-operation between multiple sub-systems is complementary: the roles are defined a priori. Following an object-oriented approach, the model is specified via UML 2.0, in terms of the structural and behavioural views. From the conceptual model, we define the transformation rules required to create the implementation - specific model for the FORTRAN 90 platform. From the results witnessed within specific process engineering studies - namely the solvation of strong acids and Rayleigh's distillation - it can be seen that this co-operative approach: empowers us with an improved expressivity at the modelling stage; instigates physical modelling using (often implicit) functions; allows model re-use through function aggregation and assembly; and brings a greater reliability during simulation, notably as a result of the precise calculation of derivatives of the mode

Converting DAE models to ODE models: application to reactive Rayleigh distillation

This paper illustrates the application of an index reduction method to some differential algebraic equations (DAE) modelling the reactive Rayleigh distillation. After two deflation steps, this DAE is converted to an equivalent first-order explicit ordinary differential equation (ODE). This ODE involves a reduced number of dependent variables, and some evaluations of implicit functions defined, either from the original algebraic constraints, or from the hidden ones. Consistent initial conditions are no longer to be computed; at the opposite of some other index reduction methods, which generate a drift-off effect, the algebraic constraints remain satisfied at any time; and, finally, the computational effort to solve the ODE may be less than the one associated to the original DAE

An innovative collaborative high-performance platform for simulation

This paper presents an innovative collaborative visualization platform for the simulation-based design applications. Following the scope and the main objectives, the general architecture based on the internet standard technologies is explained. Based on a multi-domain approach, several demonstrators are involved crossing interests of industrial and academic communities. Related to the field of process engineering, we adapt and deploy a web-based architecture research application on the targeted platform

An homotopy method for global optimization of continuous models

An original approach to global optimization of continuous models is introduced. It belongs to the class of homotopy continuation methods, but "only" requires non linear equation systems to be solved. Unconstrained and non-linearly constrained optimization problems are specified nearly the same way. They are solved by coupling a robust Newton formulation for under determinate systems and a heuristic estimating the global minimum value by means of the discrete Legendre-Fenchel biconjugate of the criterion. For the time being, the main drawback of the method is the too important number of function evaluations near by the global minimum. However, its success rate being very good on test problems, such as the global optimization of Lennard-Jones atomic clusters, it should be investigated further

Modèle de coopération entre calcul formel et calcul numérique pour la simulation et l'optimisation des systèmes

Après avoir étudié les collaborations établies aujourd'hui entre différents environnements de résolution de problèmes, le manuscrit propose un modèle de conception d'un système de calcul basé sur la coopération entre calcul formel et numérique. Cette coopération entre différents sous-systèmes de calcul est de type complémentaire : les rôles sont définis a priori. Suivant une démarche orientée modèle, le modèle de coopération est spécifié en UML 2.0 selon la vue structurelle et la vue comportementale. A partir du modèle conceptuel, nous définissons les règles de transformation pour produire le modèle d'implémentation spécifique de la "plate-forme" FORTRAN 90. Au vu des résultats d'études particulières en génie des procédés - la solvatation d'acides forts, et la distillation de Rayleigh- il apparaît que la démarche de calcul coopératif proposée : apporte plus d'expressivité lors de la modélisation; incite à modéliser les systèmes physiques à l'aide de fonctions, souvent implicites; permet la réutilisation de modèles par la composition et l'assemblage de fonctions; et apporte plus de fiabilité lors de la simulation, notamment grâce au calcul précis des dérivées des modèlesAfter investigating state-of-the-art collaborations between various environments aimed at system resolution, this paper presents a design model for a calculation system based on the co-operation of formal and numerical calculations. This co-operation between multiple sub-systems is complementary: the roles are defined a priori. Following an object-oriented approach, the model is specified via UML 2.0, in terms of the structural and behavioural views. From the conceptual model, we define the transformation rules required to create the implementation - specific model for the FORTRAN 90 platform. From the results witnessed within specific process engineering studies - namely the solvation of strong acids and Rayleigh's distillation - it can be seen that this co-operative approach: empowers us with an improved expressivity at the modelling stage; instigates physical modelling using (often implicit) functions; allows model re-use through function aggregation and assembly; and brings a greater reliability during simulation, notably as a result of the precise calculation of derivatives of the modelTOULOUSE-ENSIACET (315552325) / SudocSudocFranceF

Hybrid Approach for Deriving Feared Scenarios in Industrial Systems

International audienceThe purpose of the paper is to illustrate a method, based on scenario deriving, to address dynamic reliability of hybrid systems. Petri nets are used to model the discrete aspects and di®erential equations for the continuous ones. The discrete aspects are addressed by a Petri net player based on linear logic and the continuous one by simulating the di®erential equations. These two simulators (Petri net player and simulator of di®erential equations) evolve alternatively and communicate between them. The originality of the approach resides in its local character. Indeed, only the interesting part of the model from reliability point view is simulated

Reactive Rayleigh Distillation

OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible